Programming by example

#	Item
91	InPhonex API Documentation Disclaimer: This service is in BETA status and this document contains programming examples. All sample code is provided by InPhonex for illustrative purposes only. These methods and example Add to Reading List Source URL: www.varphonex.com Language: English - Date: 2010-10-05 16:41:39 Web services Remote procedure call Web Services Description Language Control flow SOAP Web standards Computing World Wide Web
92	Scala By Example May 21, 2014 Add to Reading List Source URL: www.scala-lang.org Language: English - Date: 2014-05-21 20:01:16 Subroutines Functional languages Data types Higher-order functions Functional programming Scala Anonymous function Iterator Quicksort Software engineering Computing Computer programming
93	ACSL By Example Towards a Verified C Standard Library Add to Reading List Source URL: www.fokus.fraunhofer.de Language: English - Date: 2013-12-13 09:57:19 Software Formal methods Generic programming Algorithm Mathematical logic Theoretical computer science Stack Predicate transformer semantics Frama-C Mathematics C++ Standard Library Computing
94	ACSL By Example Towards a Verified C Standard Library Add to Reading List Source URL: www.fokus.fraunhofer.de Language: English - Date: 2012-09-02 18:05:19 Software engineering Formal methods Abstract data types Generic programming Algorithm Mathematical logic Predicate transformer semantics Frama-C Stack Mathematics Computing C++ Standard Library